<?hh <<__EntryPoint>> function main(): void {
var_dump(unserialize('i:5000000000;') == 5000000000);
}
